package parser;
import java.util.*;
import java.io.*; 
import antlr.RecognitionException;
import antlr.Token;

public class ClassDefn {
    
    ClassDefn(int name, List supers) {
        this.name = name;
        this.supers = supers;
    }

    int name;
    List supers;

    void write(ByteStream out) {
        out.writeShort(name);
        out.writeShort(supers.size());
    }

    void dump(PrintStream out) {
        out.println("Class name: " + name);
        out.println(supers.size() + " super classes");
    }
    
}
